8 ideas
291 | Don't assume that wisdom is the automatic consequence of old age [Plato] |
13831 | Logic is based on transitions between sentences [Prawitz] |
13825 | Natural deduction introduction rules may represent 'definitions' of logical connectives [Prawitz] |
13823 | In natural deduction, inferences are atomic steps involving just one logical constant [Prawitz] |
7906 | When the Buddha reached the highest level of insight, he could detect no self in the world [Ashvaghosha] |
293 | Being unafraid (perhaps through ignorance) and being brave are two different things [Plato] |
7904 | The first stage of trance is calm amidst applied and discursive thinking [Ashvaghosha] |
7905 | The Buddha sought ultimate reality and the final goal of existence in his meditations [Ashvaghosha] |